C042 Formalism